Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
201	Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 Object-oriented programming languages Abstract data types Data types Functional programming Object Combinatory logic Objective-C Associative array Self Object-oriented programming Iterator First-class function
202	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula
203	Microsoft Word - 2015_11_19_jha_abstract.docx Add to Reading List Source URL: irafm.osu.cz Language: English - Date: 2015-11-10 06:43:07 Fuzzy logic Artificial intelligence Logic in computer science Systems scientists Lotfi A. Zadeh Kathmandu Boolean algebra Fuzzy concept
204	Nonlinear Wavelet Image Processing: Variational Problems, Compression, and Noise Removal through Wavelet Shrinkage∗ Antonin Chambolle1 , Ronald A. DeVore2 , Nam-yong Lee3 , and Bradley J. Lucier4 Abstract This paper ex Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 1998-08-26 14:45:18 Functional analysis Signal processing Timefrequency analysis Wavelet Dual space Craig interpolation Haar wavelet Linear temporal logic Differential forms on a Riemann surface
205	1 Distributed Basis Pursuit João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel Abstract—We propose a distributed algorithm for solving the Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 NP-complete problems Algorithm Mathematical logic Theoretical computer science NP Eigenvalues and eigenvectors HeldKarp algorithm Belief propagation
206	STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2014-09-10 14:56:21 Modal logic Non-classical logic Model theory Boolean algebra Philosophical logic Kripke semantics Interior algebra Heyting algebra Embedding Intermediate logic Normal modal logic Substitution
207	Preliminaries Frame Level Model Level A Modal Logic for Abstract Delta Modeling Frank de Boer Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:35 Modal logic Non-classical logic Philosophical logic Conceptual model Metaphor Simulation Normal modal logic Delta
208	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming
209	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: cliplab.org Language: English - Date: 2014-07-12 00:42:10 International Conference on Logic Programming Symposium on Principles of Programming Languages ICLP Association for Computing Machinery Logic programming Logic Prolog
210	THE MAKING OF PRAGMATICIST REASONING IN CHARLES S. PEIRCE: A PRACTICAL TREATISE ON LOGIC AND METHODOLOGYMiguel Angel Fernandez Perez. Abstract of Doctoral Dissertation. Madrid’s Complutense University: The Add to Reading List Source URL: www.unav.es Language: English - Date: 2015-10-13 06:34:44 Charles Sanders Peirce Charles Sanders Peirce bibliography Pragmatism Categories Semiotics Pragmatic maxim Truth Logic Category of being Pragmaticism Existential graph

UPDATE